English algorithm for synthesis of multiple output combinational logic: תרגום לשפות אחרות